/**
 * Label attribute. The name of a label must be provided by SymbDistrib
 * which implements newLabel()
 * @author MLB
 *
 */
public class LabelAttribute extends GenericAttribute{
    public String name;

    public LabelAttribute(String v){
	super(TypeSystem.T_label);
	name = v;
    }

    public String getName3a(){
	return name;
    }

    public String toString(){
	return name;
    }
}